1. A Never Ending Story-Mathematics, Computer Science and Logic
المؤلف: / Peter Paule
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. A computer based biomedical information system: I. Logic foundation and techniques
المؤلف: Syner, James C
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Information storage and retrieval systems
رده :
Z
699
.
5
.
M39
S9
3. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian
المؤلف: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
المکتبة: (طهران)
موضوع: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
4. Algebraic Logic and Universal Algebea in Computer Science Confrence...Proceedings
المؤلف: C.H.Bergman,R.D.Maddux,D.L.Pigozzi)eds.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L4
v
.
425
5. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988: Proceedings
المؤلف: Algebraic Logic and Universal Algebra in Computer Science Conference )8891 :Ames, Iowa(, C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
رده :
QA
10
.
A45
1990
6. Algebraic logic and universal algebra in computer science : Conference, Ames, Iowa, USA, June 1-4, 1988 : Proceedings
المؤلف: C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L28
Vol
.
425
7. An InteroDuction to Computer Logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع:
رده :
TK7888
.
4
.
N33
8. An introduction to computer logic
المؤلف: Nagle, H. Troy
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic circuits,، Electronic digital computers - Circuits
رده :
TK
7888
.
4
.
N33
1975
9. An introduction to computer logic
المؤلف: / (by) H. Troy Nagle, Jr., B. D. Carroll (and) J. David Irwin
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Logic circuits,Electronic digital computers - Circuits
رده :
TK
7888
.
4
.
N33
10. An introduction to computer logic
المؤلف: / H. Troy Nagle, B. D. Carroll , J. David Irwin.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: مدارهای منطقی,کامپیوترهای رقمی, -- مدارها
رده :
TK
۷۸۸۸
/
۴
/
ن
۲
الف
۹ ۱۳۵۴
11. An introduction to computer logic
المؤلف: / [by] H. Troy Nagle, Jr., B. D. Carroll [and] J. David Irwin
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic circuits,Electronic digital computers- Circuits
رده :
TK7888
.
4
.
N33
12. An introduction to computer logic
المؤلف: / H. Troy Nagle, B. D. Carroll, J. David Irwin
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic circuits,Electronic digital computers - Circuits
رده :
621
.
38195
82
N149i
13. Applied logic for computer scientists.
المؤلف: \ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a01,a03,a01,a03
رده :
E-B00k
,
14. Applied logic for computer scientists : computational deduction and formal proofs
المؤلف: Ayala-Rincon, Mauricio
المکتبة: (طهران)
موضوع: ، Computer logic,، Computer science -- Mathematics
رده :
QA
76
.
9
.
L63A92
15. Arithmetic and logic in computer systems
پدیدآورنده : Lu, Mi., Mi Lu
موضوع : ، Computer arithmetic,، Logic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Arithmetic and logic in computer systems
المؤلف: / Mi Lu
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer arithmetic.,Logic programming.
رده :
QA
,
76
.
9
,.
C62
,
L8
,
2004
17. Arithmetic and logic in computer systems
المؤلف: Lu, Mi
المکتبة: (طهران)
موضوع: ، Computer arithmetic,، Logic programming
رده :
QA
76
.
9
.
C62L8
18. Arithmetic and logic in computer systems
المؤلف: Lu, Mi
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Computer arithmetic,، Logic programming
رده :
QA
76
.
9
.
C62L8
19. Arithmetic and logic in computer systems
المؤلف: Mi Lu
المکتبة: (کرمان)
موضوع: Computer arithmetic,Logic programming
رده :
QA
76
.
9
.
C62
,
L8
2004
20. Arithmetic and logic in computer systems
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer arithmetic. ; Logic programming. ;
